بازگشت به فرم جستجو »
کلمات کلیدی: آنتولوژی ها و قوانین؛ استنتاج توزیع شده؛ دائمی بودن ویژگی؛ منطق order